Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation
نویسندگان
چکیده
The purpose of this paper is to describe how computer-aided test generation methods can benefit from the time features and extensions to MSC, SDL and TTCN which are either already available or currently under study in the EC Interval project. The implications for currently available test generation tools are shown and proposals for their improvement are made. The transformation of MSC-2000 time concepts into TTCN-3 code is described in detail.
منابع مشابه
SDL and MSC based test generation for distributed test architectures
Most of the SDL and MSC based test generation methods and tools produce non-concurrent TTCN test cases only. If the test equipment itself is a distributed system, the implementation of such test cases is a diicult task and requires a substantial amount of additional work. In this paper, we explain how concurrent TTCN test cases can be generated directly from SDL system speciications and MSC tes...
متن کاملImproving time-to-market using SDL tools and techniques
In this paper we summarize our experiences in building and integrating new generation, formal-methods based CASE tools to yield pragmatic improvements in software engineering processes in the telecommunication industry. We define an accelerated development methodology (ADM) for the specification, design, testing and re-engineering of telecommunications software. We identify two of the most sign...
متن کاملAutolink: A Tool for Automatic Test Generation from SDL Specifications
Due to an increasing interest in SDL, MSC and TTCN based tools for validation and test generation, Telelogic AB, Malmm o, and the Institute for Telematics of the University of L ubeck are cooperating in a research and development project aiming at bringing new test generation facilities to the Tau tool set. For that purpose, a software component has been developed which supports the automatic g...
متن کاملCombined Application of SDL-92, OMT, MSC and TTCN
The paper describes the application of SDL-92[1] and OMT[2] to the design of a V5.x Access Network interface. While OMT is used to model the management aspects of the system, typically described as TMN objects, SDL-92 is used to describe the V5 signalling stack as well as all the distributed components. The resultant combined model is used to automatically produce an efficient C++ implementatio...
متن کاملApplying SAMSTAG to the B - ISDN Protocol
The test generation method SaMsTaG (SDL and MSC based test case generation) has been applied successfully to the B-ISDN ATM Adaption Layer protocol SSCOP (Service Speci c Connection Oriented Protocol). For approximately 70% of the identi ed test purposes complete TTCN test cases have been generated automatically. In the rst part of this technical report we describe the experiment, discuss the r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001